Condicional estrito

Em lógica, um condicional estrito é um condicional regido por um operador modal, isto é, um conectivo lógico da lógica modal. É logicamente equivalente ao condicional material da lógica clássica, combinado com o operador de necessidade da lógica modal. Para quaisquer duas proposições p e q, a fórmula p → q afirma que p implica q , enquanto $\Box (p\rightarrow q)$ afirma que p estritamente implica q.^[1] Condicionais estritos são o resultado da tentativa feita por Clarence Irving Lewis em encontrar um condicional para a lógica que possa expressar adequadamente condicionais indicativos na linguagem natural.^[2] Este tipo de condicional também tem sido usado no estudo da teologia molinista.^[3]

↑ Graham Priest, An Introduction to Non-Classical Logic: From if to is, 2nd ed, Cambridge University Press, 2008, ISBN 0-521-85433-4, p. 72.
↑ Nicholas Bunnin and Jiyuan Yu (eds), The Blackwell Dictionary of Western Philosophy, Wiley, 2004, ISBN 1-4051-0679-4, "strict implication," p. 660.
↑ Jonathan L. Kvanvig, "Creation, Deliberation, and Molinism," in Destiny and Deliberation: Essays in Philosophical Theology, Oxford University Press, 2011, ISBN 0-19-969657-8, p. 127–136.